Temporal diagnosis of multi-agent plan execution without an explicit representation of time1

The most common reason for plan repair are the violation of a plan’s temporal constraints. Air Traffic Control is an example of an area in which violations of the plan’s temporal constraints is rather a rule than an exception. In such domains there is a need for identifying the underlying causes of the constraint violations in order to improve plan repairs and to anticipate future constraint violations. This paper presents a model for identifying the causes of the temporal constraint violations using coupled Discrete Event Systems. We show that for temporal diagnosis we can use a model without explicit temporal information.